2261. Understanding mathematical proof /
پدیدآورنده: John Taylor, Rowan Garnier
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Proof theory
2262. Understanding symbolic logic
پدیدآورنده: Virginia Klenk
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Logic, Symbolic and mathematical
رده :
BC
،
135
،.
K53
،
1989
2263. Understanding symbolic logic
پدیدآورنده: / Virginia Klenk
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع: منطق ریاضی,Logic, Symbolic and mathematical
رده :
BC135
.
K53
2264. VLSI logic synthesis and design
پدیدآورنده: / edited by R.W. Dutton
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Logic, Symbolic and mathematical,Dutton, R.W.
رده :
QA
10
.
V4
1991
2265. Visualization, Explanation and Reasoning Styles in Mathematics
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics. ; Science ; Philosophy. ; Visualization. ; Mathematics_$xHistory. ; Logic, Symbolic and mathematical. ; Mathematics. ; Mathematics, general. ; Visualization. ; History of Mathematics. ; Mathematical Logic and Foundations. ; Philosophy of Scie
2266. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده: edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Visualization
رده :
QA8
.
6
.
V57
2005
2267. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Mathematics--Philosophy,Logic, Symbolic and mathematical.,Visualization.
رده :
QA
,
8
.
6
,.
V57
,
2005
2268. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
QA8
.
6
.
V57
2005
2269. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
QA8
.
6
.
V57
2005
2270. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
QA8
.
6
.
V57
2005
2271. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
E-BOOK
2272. Visualization, explanation and reasoning styles in mathematics ]electronic resources[
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Visualization
رده :
QA
8
.
6
.
V57
2005
2273. Vivid logic
پدیدآورنده: / Gerd Wagner
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Expert systems (Computer science),Logic, Symbolic and mathematical.
رده :
QA
,
76
.
76
,.
E95
,
W33
,
1994
2274. Vivid logic :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Expert systems (Computer science) ; Logic, Symbolic and mathematical. ;
2275. Vivid logic : knowledge-based reasoning with two kinds of negation
پدیدآورنده: Wagner, Gerd, 7591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
764
2276. Vollstandige Systeme modaler und intuitionistischer Logik
پدیدآورنده: Schutte, Kurt
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
S3793
2277. Vollstandige systeme modaler und intuitioni tischor logik
پدیدآورنده: Schutte, Kurt
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Model theory,، Logic symbolic and mathematical
رده :
QA
9
.
7
.
S39V6
2278. Vollstandige systeme modaler und intuitionistischer Logik
پدیدآورنده: Schutte, Kurt
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
S46
1968
2279. Waht is mathematical logic ?
پدیدآورنده: / J. N. Crossley ... [et al.]
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Logic, symbolic and mathematical
رده :
511
.
3
Wh
2280. What Logics Mean
پدیدآورنده: / James W. Garson
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic,Semantics,Logic, Symbolic and mathematical,منطق,معنی شناسی,منطق ریاضی
رده :
BC71
.
G37
2013
